Symblologik

сущ.

электр. математическая логика